Abstract Interpretation and Indeterminacy

Indeterminacy, identity and counterparts: Evans reconsidered

Elizabeth Barnes Forthcoming in Synthese Abstract: In this paper I argue that Gareth Evans’ famous proof of the impossibility of metaphysically indeterminate identity fails on a counterpart-theoretic interpretation of the determinacy operators. I attempt to motivate a counterpart-theoretic reading of the determinacy operators and then show that, understood counterpart-theoretically, Evans’ argu...

The Act of Viewing: Indeterminacy and Interpretation in Narrative Film

Full Paraphrase Generation for Fragments in Dialogue

Much previous work on generation has focused on the general problem of producing lexical strings from abstract semantic representations. We consider generation in the context of a particular task, creating full sentential paraphrases of fragments in dialogue. When the syntactic, semantic and phonological information provided by a dialogue fragment resolution system is made accessible to a gener...

Admiration is a Source of Indeterminacy

Can consumption externalities be a source of indeterminacy? The answer is negative in conventional wisdom. In this paper we show that consumption externalities establish local indeterminacy if the degree of decreasing impatience is sufficiently large. Dynamic models with indeterminacy are valuable as they tend to explain economic fluctuations without relying on exogenous shocks and question int...

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about th...